step(umc2,(umc2,s),tm(s,[pri(naught,[]),pri(naught,[])],pri(lst,[ctxm(alpha_2_,u,bsn,i_bsn,i_bsn),pri(h,[ctxm(alpha_2_,u,bsn,i_bsn,i_bsn)])]))).